Proposition 4.3.3 (Split exactness of K0)

Every split exact sequence of -algebras induces a split exact sequence of K-theories.
.